#! /bin/bash

export max=5

for n in $(seq 3 $max)
do
export K=$(expr 2 \* $n)
for k in $(seq $K)
do
for f in 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
do
bash launch.sh --fat-tree $n --nfa reachability.json -k $k -f $f
bash launch.sh --fat-tree $n --nfa reachability.json -k $k -f $f --negative
done
done
done
